GMF: A Model Migration Case for the Transformation Tool Contest

Using a real-life evolution taken from the Graphical Modeling Framework, we invite submissions to explore ways in which model transformation and migration tools can be used to migrate models in response to metamodel adaptation.Comment: In Proceedings TTC 2011, arXiv:1111.440

HelloWorld! An Instructive Case for the Transformation Tool Contest

This case comprises several primitive tasks that can be solved straight away with most transformation tools. The aim is to cover the most important kinds of primitive operations on models, i.e. create, read, update and delete (CRUD). To this end, tasks such as a constant transformation, a model-to-text transformation, a very basic migration transformation or diverse simple queries or in-place operations on graphs have to be solved. The motivation for this case is that the results expectedly will be very instructive for beginners. Also, it is really hard to compare transformation languages along complex cases, because the complexity of the respective case might hide the basic language concepts and constructs.Comment: In Proceedings TTC 2011, arXiv:1111.440

A null controllability problem with a finite number of constraints on the normal derivative for the semilinear heat equation

We consider the semilinear heat equation in a bounded domain of $\mathbb{R}^m$. We prove the null controllability of the system with a finite number of constraints on the normal derivative, when the control acts on a bounded subset of the domain. First, we show that the problem can be transformed into a null controllability problem with constraint on the control, for a linear system. Then, we use an appropriate observability inequality to solve the linearized problem. Finally, we prove the main result by means of a fixed-point method

The Political Economy of Urban Land Reform in Hawaii

In the mid 1960s there were about 22,000 single-family leasehold homes in Honolulu. Dissatisfaction with leasehold led to reform legislation in 1967, allowing lessees to buy leased land. By 1991 less than 5000 lessees remained. This paper examines why landowners elected to lease rather than sell land and attributes the rise of leasehold to legal constraints on land sales by large estates, duties of estate trustees and the federal tax code. Idelogical forces initiated land reform in 1967, but rent-seeking forces captured the process in the mid 1970s. It is concluded that Hawaii's experiment with leasehold was a failure due to the difficulties associated with specifying and enforcing long-term contracts in residential land.

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

In this paper we apply the UML-RSDS notation and tools to the "Hello World" case studies and explain the underlying development process for this model transformation approach.Comment: In Proceedings TTC 2011, arXiv:1111.440

Solving the TTC 2011 Model Migration Case with UML-RSDS

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.Comment: In Proceedings TTC 2011, arXiv:1111.440

Annual and interannual variations of Earth-emitted radiation based on a 10-year data set

The method of empirical orthogonal functions (EOF) was applied to a 10-year data set of outgoing longwave radiation. Spherical harmonic functions are used as a basis set for producing equal area map results. The following findings are noted. The first EOF accounts for 66 percent of the variance. After that, each EOF accounts for only a small variance, forming a slowly converging series. The first two EOF's describe mainly the annual cycle. The third EOF is primarily the semiannual cycle although many other EOF's also contain significant semiannual parts. These results reaffirm those based on a shorter data set. In addition, a much stronger spring/fall mode was found in the central equatorial Pacific Ocean for the second EOF than was found earlier. This difference is attributed to the use of broadband radiometer data which were available for the present study. The earlier study used data from a window channel instrument which is not as sensitive to water vapor variations. The fourth EOF describes much of the 1976 to 1977 and 1982 to 1983 ENSO phenomena. There is typically a gap in the spectrum between a semiannual peak and the annual cycle for all but the first EOF. A semiannual OLR dipole straddles the Asian-Australian monsoon track

Solving the TTC 2011 Reengineering Case with GrGen.NET

The challenge of the Reengineering Case is to extract a state machine model out of the abstract syntax graph of a Java program. The extracted state machine offers a reduced view on the full program graph and thus helps to understand the program regarding the question of interest. We tackle this task employing the general purpose graph rewrite system GrGen.NET (www.grgen.net).Comment: In Proceedings TTC 2011, arXiv:1111.440

Optical memory bandwidth and multiplexing capacity in the erbium telecommunication window

We study the bandwidth and multiplexing capacity of an erbium-doped optical memory for quantum storage purposes. We concentrate on the protocol ROSE (Revival of a Silenced Echo) because it has the largest potential multiplexing capacity. Our analysis is applicable to other protocols that involve strong optical excitation. We show that the memory performance is limited by instantaneous spectral diffusion and we describe how this effect can be minimised to achieve optimal performance

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

In this short paper we present our solution for the Compiler Optimization case study of the Transformation Tool Contest (TTC) 2011 using the QVTR-XSLT tool. The tool supports editing and execution of the graphical notation of QVT Relations languageComment: In Proceedings TTC 2011, arXiv:1111.440